|
|
Theory and Applications of Satisfiability Testing – SAT 2013
by Järvisalo, Matti.
Publication:
. XVI, 437 p. 84 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Developments in Language Theory
by Béal, Marie-Pierre.
Publication:
. XIV, 460 p. 46 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Deduction – CADE-24
by Bonacina, Maria Paola.
Publication:
. XVI, 466 p. 95 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Science – Theory and Applications
by Bulatov, Andrei A.
Publication:
. XII, 445 p. 55 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Applications of Models of Computation
by Chan, T-H. Hubert.
Publication:
. XV, 356 p. 37 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic-Based Program Synthesis and Transformation
by Albert, Elvira.
Publication:
. X, 245 p. 36 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky
by Coecke, Bob.
Publication:
. XX, 363 p. 26 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Language and Automata Theory and Applications
by Dediu, Adrian-Horia.
Publication:
. XIV, 580 p. 69 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic and Its Applications
by Lodaya, Kamal.
Publication:
. X, 259 p. 18 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Combinatorial Algorithms
by Arumugam, S.
Publication:
. XII, 303 p. 136 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Runtime Verification
by Qadeer, Shaz.
Publication:
. XII, 322 p. 93 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Artificial General Intelligence
by Bach, Joscha.
Publication:
. XII, 381 p. 121 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods and Software Engineering
by Aoki, Toshiaki.
Publication:
. XIV, 512 p. 131 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Applications of Graph Transformations with Industrial Relevance
by Schürr, Andy.
Publication:
. XII, 255 p. 133 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithmic Learning Theory
by Bshouty, Nader H.
Publication:
. XII, 381 p. 23 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Graph Transformations
by Ehrig, Hartmut.
Publication:
. XII, 427 p. 166 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Principles and Practice of Constraint Programming
by Milano, Michela.
Publication:
. XXII, 1015 p. 237 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reachability Problems
by Finkel, Alain.
Publication:
. XII, 149 p. 31 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theoretical Computer Science
by Baeten, Jos C. M.
Publication:
. X, 393 p. 76 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Modeling and Analysis of Timed Systems
by Jurdziński, Marcin.
Publication:
. X, 267 p. 71 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|